Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems
نویسندگان
چکیده
Corset and Lace are runtime environment interfaces. Corset is an interface specification for a compact runtime support environment for tasking, for Ada. Lace is a specification for a low-level adaptable common executive that implements a model of real-time, lightweight tasks. These interfaces are designed to promote a wide range of implementations and extensions, tailored to the needs of diverse applications and hardware configurations, especially real-time embedded systems.
منابع مشابه
Towards a Runtime Verification Framework for the Ada Programming Language
Runtime verification is an emerging discipline that investigates methods and tools to enable the verification of program properties during the execution of the application. The goal is to complement static analysis approaches, in particular when static verification leads to the explosion of states. Non-functional properties, such as the ones present in real-time systems are an ideal target for ...
متن کاملThe Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models
When analysing hard real-time systems for their performance properties, most scheduling models either ignore the timing characteristics of the underlying run-time support kernel entirely or have a very simple model of its behaviour. However, when engineering an actual implementation, it is necessary to tailor the scheduling theory so that the actual performance characteristics of the run-time s...
متن کاملImplementing Execution-Time Clocks for the Ada Ravenscar Profile
The capability to monitor the amount of processor time that is used by real-time tasks is crucial for building real-time systems that are robust with respect to worst case execution time estimations. Executiontime clocks and timers have been proposed to be added to the language in order to support this functionality. Since a wide class of systems which may benefit from this mechanism are likely...
متن کاملA "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel
An Ada tasking kernel is implemented as a layer beneath the Linux operating system. This provides low overhead and precise control of execution timing for real-time Ada tasks, which execute within the Linux kernel address space, while allowing the Linux operating system to execute non-real-time tasks in the background. The Ada tasking kernel is derived from Yodaiken's Real-Time Linux kernel, wi...
متن کاملBoss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT)
Ada has been successfully used in many dependable real−time applications, which have undoubtedly benefit of its major strengths: The well defined language semantics [1], the strong type checking, structuring mechanisms like packages and not to forget the Ada Semantic Interface Standard [2] supporting the development of code analysis, verification and testing tools. But an Ada system can not be ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1987